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