Use type attributes to classify types
Fix complex number -> object coercion template re-inference problem