towards proving the iso
add STLC.hs