C-c C-a gives .xs for forget but C-c C-l can't typecheck