Adding bad examples.
Disallowing refinements at functions in parsing

  - Functions should NOT be treated as callable objects.
PROBLEM: Dead cast in CondExpr returns empty env!!
Handling CondExpr and deadcode.
Bug fix in TCing of CondExpr
PROBLEM with function refs

  - Adding ttag info in func ref breaks old tests.

  E.g.: tests/pos/misc/twice-hof.ts
Merge branch 'master' into fix_funcsigs

Conflicts:
	src/Language/Nano/Liquid/Liquid.hs
	src/Language/Nano/Typecheck/Parse.hs
	src/Language/Nano/Typecheck/TCMonad.hs
	src/Language/Nano/Typecheck/Types.hs
Fixes and support for typeof v === 'function'
Merge pull request #53 from UCSD-PL/fix_funcsigs

Fix funcsigs