Add extensions, try to parse type declarations more flexibly

This adds some extensions, and makes a hack at parsing (declare (<type> ...)). Don't use declarations like that, but if you must it now tries to spot them and raise them.

There was no 1.4.0 release: that would have been the extensions.