Bounds now are a list of TypeSymbol's.
Added FIXME, for code affected by changing the @typ annotation in the
AST.
Fixes #527.
Also added support for multiple bounds for type parameters.