refactor(*): explicit initialization/finalization for serialization
modules, expression annotations, and tactics
refactor(*): explicit initialization/finalization for environment extensions