working on vararg piping: detecting several error cases, adding -Wunsafe-types and -funsafe-varargs
manpage update
fix a call typecheck issue
again with the comments...