Terminal Types Specification