Merged apply and apply_with (resp. rewrite and rewrite_with). Typo in
error returned by apply. Also adding session for 19.