Modifying Parser to Not Require Nasty `#`

Various changes:

1. Natural TS style specifications, without the gross `#` see:  tests/pos/typealias/talias-04.ts

2. Allow certain _values_ to appear inside alias applications (was not working earlier)

3. `Language.Nano.Visitor` used for qualifier scraping (& convertTvar), should be used instead of SYB.

I have implemented (1) by using `convertTvar` to transform all _bound_ type-variable symbols,
otherwise parsed as type-constructors, into type-variables.

PS: still allowing the `#Name` notation for backwards compatibility, but lets not use it going forward.