Improving the indentifier type system.