The implementation of oaklisp