Changes to equations parsing for user-defined sorts