fixed name of EmptyArray type from Any[] -> Nothing[]