remove erl_syntax stuff from kernel, use stdlib