-- may be safely inlined (can't lead to infinite expansion even if part of a recursive binding group)
finite env (EVar (Prim c _))    = True
finite env (EVar (Prim c _))    = True
finite env (EVar (Prim c _))    = True