If a 'Dao.Prelude.Dao' wrapper contains a 'Dao.Object.Object' value, the object's runtime type is now displayed, instead of just 'Dao.Object.Object'. For example, if the 'Dao.Object.Object' contained in a 'Dao.Prelude.Dao' wrapper contains a value constructed with the 'Dao.Object.OInt' constructor, evaluating 'Prelude.show' on this 'Dao.Object.Dao' wrapper will print "IntType".
Still playing around with the new parser, still don't know if it will be of any use.