Clarify that execution modules and state modules are not the same thing