Add Seq, a container class for sequences. Also, discovered the notion of dependent names.