Modified the nets.enter function to use pattern-matching and unchecked comparison and thereby eliminate the type constraints which were causing an error in the equal.CACHE_CONV function.