Fix missing case in Idris.Primitives.p_strLen