Progress on HsExpr