Optionalchecker: TypeCheckera record mapping data keys to their expected types.
Execute the required action in the given context and return the effects of the execution.
the current working context containing data and constants.
the effects of executing the action, including any changes or exceptions.
Get the data keys that this executor will change when executed, along with their expected types.