emacs: in type enclosing, w kills the type.