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