Added a transformation pass after the type inference that fixes some things before the codegen phase

When expanding And and Or, put a hint in the expanded If to let the type inference it represents and and or and or so handling type filters is easier