convert knAms and knSims to HashMaps to change O(n) searches to O(log n) remove redundant code in evalApp
convert knAms and knSims to HashMaps to change O(n) searches to O(log n)
remove redundant code in evalApp

ucsd-progsys/liquid-fixpoint