Be more flexible with type var/cons names

[ivenmarquardt]

Allow the following schemes:

• fooA
• fooBar
• fooIO
• foo2

[ivenmarquardt]

The last case foo2 requires a bigger adjustment in the alpha renaming procedure. This change in turn affects snippets scattered throughout the code. It is exhausting but totally worth it, because it will allow writing meaningful type variable/constructor names.

[ivenmarquardt]

Solving this issue has evolved to a major update of the following functions:

• parseAnno
• serializeAst
• specialize
• regeneralize

[ivenmarquardt]

Done.