Done resolveTypes for allocator (call1 ast)