add data classes for SymbolicConstraint and ConstrainedTerm
Merge branch 'refs/heads/remove-TermContext-caching' into refactoring-of-TermContext
refactor builtins -  wip
Merge branch 'refs/heads/refactor-KLabelConstant' into refactoring-of-TermContext
make BuiltinFunction not static -- this should also help with both thread-safety
TermContext is not a JavaSymbolicObject
fix imports
wip
fix
fix import
small fix
Merge remote-tracking branch 'origin/unified-builtins2' into refactoring-of-TermContext
add copyright
delete commented code
remove builtins fields from JavaSymbolicKRun
Merge remote-tracking branch 'origin/unified-builtins2' into refactoring-of-TermContext

Conflicts:
	src/javasources/KTool/src/org/kframework/backend/java/symbolic/BuiltinFunction.java
Merge pull request #565 from kframework/refactoring-of-TermContext

Thanks! Merged.