IR->SSM: correct sizes in arguments
AST->IR: correct types in arguments