Type asserts: Add support for symbol primitive

Correct