The ergonomics of downcalls may be improved substantially if clients can add an interface type literal (where the interface class is marked with a `@FunctionalInterface` annotation). The new overload would return an implementation of that interface so that clients can work directly with more traditional Java code.