ATypeimpl constr
TypeImpl constructor