Stainless MTL:  Code case consistency