Add Library stuff to spec