IR identifier types and expressions