STLC-typechecker post - fix markdown