deftype, and future=executor.submit new class X impl Callable