import eq-properties.scm from 945 assignments