#85, add a required notIn check for >=>
Remove the notIn on const, the free variable check generalises it
Fix the free variable guard
Remove redundant notIn, and add lots of testing