System programming language with type inference.