Lookup function signatures when parsing from maude