Compositional Type Systems for Stack-Based Low-Level Languages