Type relation syntax incompatible with language

Bugzilla Link	751
Created on	Sep 27, 2010 04:50
Version	svn
OS	All
Architecture	All

Extended Description

The syntax invented for type relations using operators like .* .< .+
is incompatible with essential parts of the language otherwise, like 
for instance the dots in generators. 
I suggest to use a different syntax for type relations, e.g. ".*.".
That would be easy to scan and should avoid conflicts with existing
uses of the dot. 
Currently, the parser allows spaces in between the dot and the combinator
to resolve conflicts. This can't be anything but a temporary fix.