emoved some identifiers in cmp.v that are already defined in minibn.v.
Proved a couple of instructions in ucmp.
A