better error handling for ann-var
use lexical-let
Insert :ok in the output buffer if check-ns succeeds