Allow anything in identifiers?

[Sverker Nilsson]

This would be a new kind of identifiers, I suppose one
can make them by writing for example id <string> like in:

id 'a>b' = a > b
id 'x.b' = x.b
alu.id'+' = lambda x, y...

I think it could make programs easier to read by allowing
more evident identifiers in many cases. The extended identifier
syntax should not break anything, and it seems it might be easy to
implement...

Should try to come up with more better examples, but it's late,
any takings, comments? 

Cheers,

Sverker