concrete syntax: remove duplicate syntax for const refs.
concrete syntax: todo note.
concrete syntax: plumb src locations.
concrete syntax: decorate all top-level decls with line pragmas.
cabal: cleanup.
build: add imports for 7.8.3.
concrete syntax: add floats, doubles, string literals.
Merge remote-tracking branch 'upstream/master' into index-type