Fixed a number of issues with the type system, like nested case statements, missing Tags in case statements. Removed TypeGuards in IR guards - the type guards are now placed among the regular guards. NB recursive types does still not work.