add stlc-sub with type soundness property