can now pass motivating FakeMap example (simplified version of Android bug we found) with the synthesizer--we generate a test case that compiles and forces the assertion to fail. this mostly required minor fixes--was doing lookup of class by type instead of name, which caused Primordial vs Application scope mixups