working on updating documentation, added smithyformula manpage