Tuple tests
Symbol type tests
Tests for vars, and make nominal, symbol, and var more similar.