normalize

fun WireTerm.normalize(counter: NormalizeCounter): WireTerm