Add extra test cases
No longer filter non-representable arguments in netlist generation

The primitives and datacons translations should just handle them.
Functions should not have non-representable arguments in the normal
form anyway.
Add module header in test