Adding erlang:halt and quick_path
Adding other guides list and updates types.erl