fix for #251
errorstar to proper errors
"fix" Base
minor
fix Lazy
minor
adding demo files for NEU talk
add
ASDASD
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into errors

Conflicts:
	docs/slides/BOS14/hs/00_Refinements.hs
adding Lazy annotations on Lazy
Merge pull request #252 from ucsd-progsys/errors

fix for #251: turn termination warnings to errors