the rat programming language