SHIFTLAM; allow ELam etc. to work for non-Int Sorts
SHIFTLAM; allow ELam etc. to work for non-Int Sorts

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell