PosInfoProp: setNilAt, setConsAt.