added parsing for the new witnessed judgments:
    Check TS : [ p : o : T ].
    Check TS : [ p : T ≡ T' ].
    Check TS : [ p : o ≡ o' : T ].