added ignores for ocaml testing
rlhc: only allow embedded host as lhs of arrow
rlhc: moved arrow op into expr_factor
eliminated expr_ptr