Type syntax

There are two mutually compatible syntaxes for defining types:
List syntax: (Cons (Vector Integer) String)
Symbol syntax: Cons<Vector<Integer>_String>
Symbol syntax can be nested inside of list syntax:

(Cons Vector<Integer> String)

But not the other way around:

Cons<(Vector Integer)_String> ; INVALID