Pretty printing implemented

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