Remove unneeded modules
Test cases adapted to new conventions
Check number of arguments in term construction

Note: variable-length argument lists are not allowed here yet,
      but they are used liberally inside modules.rkt