Variable redefinitions now throw errors