simplify erlide_cache api
fix some type specs
remove erl_syntax stuff from kernel, use stdlib