more refactoring: 
- moved impl-classes to model
- instrumentation is now groovy specific allows for other lang providers()
lang model improvements:

- variables can indicate that they represent ret values from invocations
- methods create variables for ret values
- invoking method declarations is much easier

TODO: is it an advantage to specify ret type when invoking methods