Forgot to add some type names to type symbols.