cleaned up MaudeHelper; renamed Syntax#getSort -> Syntax#getDeclaredSort