STLC notation & rules