simala is short for "simplified math lang"; it's yet another possible core language / translation target for L4