Added spec and implementation for addAt and removeAt