Text this: Semantics of Typed Lambda-Calculus with Constructors