Add 'in' support

[gsemet]

Hello. I propose the following syntax to implement

@contract(arg="str,in('a','b','c')")
def function(arg):
  pass

Action: perform the following python code

assert(arg in {'a', 'b', 'c'})