Implement type alias feature via class in es2panda derived from Type.
Alias can be:

• name for anonymous type:
  • non-generic: type Matrix = number[][]
  • generic: type Predicate<T> = (x: T) => Boolean
• name for existing type:
  • non-generic: type Dictionary = Map<string, string>
  • generic: type MapOfString<T> = Map<T, string>
• recursive, then type alias can be
  • array element type:
    • non-generic type A = A[]
    • generic type A<T> = A<T>[]
  • type argument of a generic type:
    • non-generic type D = string | Array<D>
    • generic type A<T> = string | Array<A<T>> type NodeValue<T> = T | Array<T> | Array<NodeValue<T>>
  • otherwise CTE should be thrown:
    • type E = E
    • type E<T> = E<T>

Type alias should never reside in compiled binary file as a one more .record