unit test: Assert that symbol types are correct