Permit TT pattern-matching against TT constants
Added basic coproducts to TT