support typed let etc. in untyped my-cond