lavabit and its programming language