Careful with this PR. I have fixed all issues mentioned in #225, but in the Nico-style with a red thick pen, deleting axioms that are problematic and illegal. @hoganwr you should, before merging this, consider wether you want to fix any of these issues in a less crude manner.
Fixes #225
Careful with this PR. I have fixed all issues mentioned in #225, but in the Nico-style with a red thick pen, deleting axioms that are problematic and illegal. @hoganwr you should, before merging this, consider wether you want to fix any of these issues in a less crude manner.