implemented comparison operators and binaryOps
forgot to commit there, they declare the types and contratins on type for php
changed \int() to integer, \bool to boolean, \null to null
moved Constants to types because it contains type information, added tests for them
changed eq to subtyp for array(\any()) types