Add user-defined sorts to maude sig, augment parsers for open theory and maude results