Add derefExpr
Towards tests of new infer