A small language with GC, LWP's, and inferred types [BSD license]