Pretty printing implemented

Closes #965.

wadler.ex implements Hughes-Wadler document algebra;
binary/inspect.ex now pretty-prints.

Commentaries about implementation are avaliable upon the request.