progress on removing lookups
more progress on eliminating lookups
added hook for list get
fixed typos in documentation
reverted one small typo
reverting one small typo
Revert "simplification in substitution and function evaluation"
Merge pull request #1208 from kframework/revert-1205-master

Revert "simplification in substitution and function evaluation"
Revert "Revert "simplification in substitution and function evaluation""
Merge pull request #1209 from kframework/revert-1208-revert-1205-master

Revert "Revert "simplification in substitution and function evaluation""
Merge pull request #1207 from omarz1/master

Fixed typos in the documentation
removed map and set choice classes
fixed order of argument in set membership
removed updates
reverted renaming of updateMap
improved handling of locals in kernelc
improved map lookup resolution
removed tmp.k file
fixed wcet
fixed output