finished to set translation, next, scottization constructors and programs