Noether programming language development