abstract_constant for types, which is a start.