Added type_constructor to simplify obtaining static types at runtime