new formulae language implementation

unified language and parser for the registered types  'vector' and 'real' and @dictionary parameters
referenceing of values across cps rules/@dictionaries etc
transformation matrices
Polar vector constructor
updated importer that saves onDir and onLength
got rid of a lot old code
etc.

I do not like doing ad-hoc type-checking of this sort: the higher-level code should be able to cope with infinite numbers. (I just about don't mind throwing exceptions when we get NaN.) In general, when computations don't fail at the language level, they should only be detected where it's a specific problem for the application. There will already be cases where finite numbers are problematic, and the usual bounds checks will also work for infinite numbers.