Metafont definitions for `remove overlap' and `expand stroke'
