Add a convenience constructor to TypeTraitExpression
Add interaction and visualization support for TypeTraitExpression
Change method of LoopStatement to not use a reference for the LoopKind
Add visualizations and interactions for LoopKind