Check sorts in operator definitions
Unit tests for sort-related compatibilty conditions
Disallow parenthesis syntax for zero-argument terms
Move all sort-related tests to test-sorts.rkt
Variable-length argument lists
Macros for defining builtin modules