Fixed small bug.

Use < and > in \type{} and \expr{} and \textless \textgreater in
anything that doesn't get converted to texttt{}  Less than ideal but
works well enough for now.