WIP: constant types
Self -> Generic
object_type