add subtyping constrains in unused vars
disable fun comp type
modifying demos
add SimpleRefinement demo
adding Array demo
misc
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell into text

Conflicts:
	include/Prelude.spec