Added advanced axioms in separate importable file.
Fixes #18