Language tweaks, towards a Proteus target