Rewrite of the Pulse programming language