Metafont definitions implementing operations known as `remove overlap' and `expand stroke'.