use IJvmTypeProvider to access types. This prevents a potential
StackOverflowException due to scoping calling ExportedNames which again
calls the ResourceServiceProvider.
fixed #130 xt files in fragments are not discovered (when running as plugin test)
execute tests from arithmetics example in integration tests