Added Erlang examples

- Normal Erlang
- Erlang with type specifications for optional type checking