More use of 'HashMap.lookupDefault' insteaf of 'HashMap.!'
Don't translate TyCon's with no DataCons to a Netlist VOID type
Simplify normalization strategy
correctly  indentify closed terms