types.txt is no longer needed
move pragma code to a separate file
remove one more assert from expr.c:fixup_args_size_notes which got tripped by earlier hacks.