FIXED Type#supertypes actual parameter type, NEW Presets to pass state to Modules, REFACTOR Constants are now Options allowing multiple choice, no flag interface to allow to use all enums