Support tuples (including function terms) in dictionary

[mkroetzsch]

The dictionary needs to support (variable-free) terms of type "tuple". This includes lists, "labelled" lists, and in particular function terms. This can use the efficient dictionaries developed in #529.