Replace MyCollection with final names, fix separator
Replace fresh with ?-variables
Remove useless [right] attribute from lists
Compensate for Int2Float interface change
Give unique labels to different arities of function-like productions
Tidy requires.

Some files included imports of modules that could not
be reached by following requires from that file
(it was only working because kompile follows requires
from the main file, and doesn't worry what file a module
came from when processing imports)