Add SPASS examples

Also changed SPASS parser: no more individual functions for eq, le, ge, 
etc. Now only one more general one. Also added a check for three-ref
MRR: based on examples, the first two are the same node and the last is
different; I look for that and throw an error otherwise.