move isTvApp from Utilities to Types
isolated unAlias
moved flatx from Utilities to Definitions
isolated common type operations
isolated Nice instances for expressions and types