added a scope spec argument to 'SolverHelpers.find_instance'
some todos
refactor variable rename
some more type inference and resolving quantification domain expressions
bounds class