changes:
 - fixed a whole bunch of bugs in type checking,
   e.g. in the inference of plugs
 - removed pairs again (except in a very limited fashion)
 - added unary, binary and ternary relations
 - gave relations (written as {(0,1),(2,1)}) the type curried type,
   e.g. `e -> e -> t`