First conj implementation as form, over lists, with evaluation tests