adding hook for wierd crash on goto
Adding Dagstuhl slides (pdf)
Typecheck compiles with new annotations
Fix in unification with Top
Merge branch 'master' into arrayspec

Conflicts:
	src/Language/Nano/Typecheck/Unify.hs
Got Liquid to typecheck -- now test
Fixes

  - Not initializing static methods in constructor
  - Restored some tests
Fix in SSAing constructors
Fixing local var env in SSA
Fix in strengthen
Cleaning up
FIX Adding all visible names as fixpoint bindings

  - Also adding a couple of tests
Clean up