It seems the Lava name has already been taken: http://en.wikipedia.org/wiki/Lava_%28programming_language%29