adding STLC.hs