minor refactoring
cached results of getMaximalLowerBounds method; fixed a latent bug in getGLB when there are multiple LBs but no GLB
updated and added FUN
fix for unification.k
Data for ConstrainedTerm and SymbolicUnifier
Merge remote-tracking branch 'origin/unified-builtins2' into segregate-data-in-rewriting
Merge pull request #617 from yilongli/fixing-issue#616

Fixing issue#616
updated and added FUN
fixed .out file
Merge branch 'fun-updated' of github.com:grosu/k into fun-updated
forgot to cache different list terminators with different separators
Data separated for ConstrainedTerm, SymbolicConstraint, and SymbolicUnifier
Merge pull request #614 from kframework/master2u-b2

Master2u b2
Merge pull request #621 from grosu/fun-updated

Fun updated
make lookups and constraint `final`
Merge remote-tracking branch 'origin/unified-builtins2' into segregate-data-in-rewriting
added unit tests for Poset; also fixed getLUB in order to pass the unit tests
Merge pull request #622 from kframework/segregate-data-in-rewriting

I have a green light from Andrei.
Merge pull request #601 from yilongli/cleanup-KItem-constructor

Cleanup k item constructor
fix kast --parser binary on java backend