add maybe-type and tag-to-type