#74 added typecheck for equal. test-case fails, because of commented error