Make : error on unbound identifiers

This PR is for code review. In particular, I'm not sure this is the best/right approach since it changed the expansion of `:` slightly (see the `syntax-parse` clause changes below).