char is a integer type
primitive type widening and new constraint types
type for null literal and schematic for operators
integral and floating point type list and identification rules
stub for result merging