Generics refactor - move variable binding to its own type "VariableBinding" - VariableBinding now knows what the free variables are - the match method now knows on which side variables occur (Wurst will always only have at most one side with type variables) fixes #775 (commit: 11662b9)