A moderately Infernal programming language