fixed in test/testall.sh
bugs fixed at cast parseing; added by DefinedTypePattern