Added lame to Builtin.Type and used it in several places
Handle higher rank/order class constraints