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:20060816043753-1a7c6-d2545863c519f4970c2eebdbfc7b2e965bcb4215

kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc,kirbyfan64/jhc