Global renaming. Improved algorithms performance. Made more operations requiring specific parameter type instead of 'any'.