WyC: working on requiring variables to be declared before they are assigned.