#74 #75 finally implemented greater and equal. refactored them. need to add 'special' typecheck for equals.