implemented #
implemented <: and >:
implemented |:
removed a completed TODO