Add BuiltinBounds to closure type: parse and handle subtyping,

Add BuiltinBounds to closure type: parse and handle subtyping,
but do not integrate with kindck etc (requires a snapshot first)

r? @brson