Module name

Convert to π-calculus Save Maude module