add preliminary inferred axiom support for concrete domains
Merge branch 'master' of https://github.com/aehrc/snorocket