progress on unifying List and IntSeq
progress on unifying List and IntSeq
progress on replacing IntSeq with List
more progress

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/symbolic/KILtoSMTLib.java
minor

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/kil/ConcreteCollectionVariable.java
some examples work with List instead of IntSeq
list examples work with List instead of IntSeq; progress on tree examples
fixed type errors due to multiple representation of builtin data structures
remove duplicate outdated unparserfilter class
minor
Merge remote-tracking branch 'upstream/master'

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/kil/BuiltinList.java
fix npe
minor fixes
Merge remote-tracking branch 'upstream/master'
add coversion to KLabel representation for builtin data structures
minor
fixed whitespace
make some methods fields to not calculate same things again and again
wip
move Proc generation to TestCase and some minor refactoring