found the interface between typed and untyped (Expr-Choice)