Scheme port of µ-Max by H.G. Muller