Add a convenience constructor to TypeTraitExpression
Add interaction and visualization support for TypeTraitExpression