Supervisor

[amutake]

To introduce supervisor, I have to:

• Survey supervisor usage and supervisor hierarchy of Erlang and Akka
• Formalize supervisors (maybe using hierarchical names)
• Think out proof methods in case of using supervisors