refine ModuleType
simplify ast2pt:fix
finish replace Quote:fix
remove optional_type_parameter