tmp fix for Array
check casted expressions
adding tom's test
Merge pull request #170 from ucsd-progsys/totality

check casted expressions
some notes on inf lists
compile again
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell