TypeTestCasts fixes and InterceptedMethods transformer

depends on #102, only commits fef2f42 652553d are new here