AbstractTransformer #1113: rely on code from typechecker for Callable things

This way it's @gavinking's problem from now on ;)
Test for #1113: Compiler error: java.lang.UnsupportedOperationException: union types don't have well-defined equality