updated code in cesk-quines.scm to use make-proco abstraction