Angelic Language

Yet to be typed.