Start playing with heterogenous lists

Also, clean up the Cypher language definition a bit.