add has-option? to check if a value has an option contract or not
change the option setup: everyone has an option contract now and
the module lexer either exercises or not, depending on its level of trust