Enforce numeric literals in arrays, types of literals in terms