exp: type.
bug:  exp -> type.
%mode bug -E.
oops: bug  _ <- bug E.