Saffire language specification