The oaklisp language manual and the oaklisp implementation cmide unpublished