Finished fixing type system for stricter type duplicate checking