Adds comparison of pseudo types.

Also adds comparison of dates (our only pseudo type currently.)