splitting up type, value, and syntax helpers