changed order of arguments for constant behind If-then-else-fi syntax; added LAM patterns for TT, FF
changed order of arguments for constant behind If-then-else-fi syntax; added LAM patterns for TT, FF

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle