Typeable instance for Symbolic