Various bits and pieces are slowly coming together such as basic type inference, type definition, etc.