Title: On hieroglyphic types