A (partial) implementation of SECD machine using JavaScript