Judgemental version of STLC