known_primitives -> supported_types