Added an implementation of STLC with integers and pairs