a python testbed for LLVM and type inference with lisp-like syntax