finish input check for all other functions
simplify output with only varargout
remove possibly wrong documentations, and fix deftypefn