Add the beginnings of spec tests