working on localization a bit
a new decision about coercions, without modules