Documenting typing rules of expression lists