Started with typed expressions.
Did texpDenote.