Improve the Lexer and add the detection of unused/underused built-in types.