ats is also doing some very interesting stuff around adding algebraic datatypes and linear types to a c-level language.

http://www.ats-lang.org/