Java backend: refactored UnificationFailure and PatternMatchingFailure to have a common base class
Java backend: refactored the constructor of KLabelConstant to recieve TermContext instead of Context