Simplify List.at_pos so that it doesn't refer to .exists anymore

This is needed because at_pos will be needed by .exists in the future