added basic =~ translation, added basic <> translation, refactored structure of the overall code a bit, subset 4 still not fully completed yet