Rust-inspired borrow checker, TypeScript-inspired syntax

Very cool. But I take it this is not a strict superset of typescript. That seems like the biggest challenge and opportunity to me.