Treat AllocateArray like Intrinsic in typeinfer.py