synthesizer can now handle nested constraints (i.e. implement an interface whose getFoo() method returns an implementation of Foo whose getInt() method returns 5). added test. also cleaning up some irritating debug printing
hackery for synthesis project -- can now handle nested fields / return value constraints. added tests