Handle all cases in execute_new_axioms.
Fix compiler warning about field_type.
Merge branch 'master' of github.com:flavioc/meld into teststableVM