desugar x.[n] as (elemAt x n)