add type constructor subclass
add package scope for compilation