A Scheme-inspired Lisp interpreter with polymorphic types running in a JVM