MacroExtensions: fixed a typetree