finish 8.1, reject modules with the same namein type checker