Use pp.MustString.
Initial commit of the sym package.

Implemented type identity, but it's not completely tested yet.