Improved compilation of axioms.
Fixed some localization bugs.