add Maybe size to TArray type
baby steps towards mips