Fix code to be able to compile again
Fix code to be able to compile again
Merge /media/data/Dropbox/LAMA
Continues fixing compilation
Fix compilation: adapted Natural to new type representation
Fix compilation: adapted SMTEnum to new type representation
At least it compiles again

But the constraints for Naturals are not generated and the representation
of them as inductive type causes divergence...