Add primitive `not'
Implement `until'