add hyperspec and cltl2