Support for union types + parser test

* No type extension yet