Fixes in configs after adding SorcerResolvingLoader, fixes in test-examples but still problems with arithmetic-ter