Adding support in fidelity for parsing union and parenthesized types

This seems absurd, when we get the chance we should just add an `<any[]>` type assertion at the beginning of the list and remove these `<any>`s.