Add some tests of the symbolic types