Added duplicate checking, module syntax in exponents