Update Main.hs

All primitives added except, is white, whitesturn and boolean connectives