Missing some defs for list in compset, unsure where it should go (probably HOL)