Update boolfunc/util documentation