cleaned up MaudeHelper; renamed Syntax#getSort -> Syntax#getDeclaredSort
removed an outdated Poset test, which is also incorrect