The NOT and the UNTIL with numbers fix as a separate branch.
Merge branch 'not-and-negate-without-list-expr' of https://github.com/Dunbaratu/KOS-1 into Pull46
Fix some formatting inconsistencies