Add constraint iterator docs