more TODO
- implemented "hybrids" so that single-expr processes are 1) not overwritten by methods 2) can actually be called. This is some pretty ugly business but I am a bit stuck with backward compatibility...
- added a warning when entity symbols collide into each other (say a variable and a method), but I am unsure it can happen in practice given the way I construct variables (cfr. hybrids)