make it check for non-unique names at the top level in -flint mode
make it check for non-unique names at the top level in -flint mode

darcs-hash:d2545863c519f4970c2eebdbfc7b2e965bcb4215

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc