type problem appears licked by complexifying Expr, it knows the types so has to do all type related work (delayed work, in constructing Choice's)