remove sets and THE from compiler implementation

should make it easier to translate.
proofs are broken by this, tedious fixes forthcoming...