Rule: No redefining

Closes #103