cool exercise but its ultimately lubing a square peg to fit in a round hole.

A pragmatic systems programming language with garbage collection and good support for functional programming already exits. Its called Ocaml and really deserves more love.