Added Erlang examples

- Normal Erlang
- Erlang with type specifications for optional type checking

Tried to respect the algorithm as much as possible.