Internal_pervasives: remove redundancies (fix #82)
Table: fix documentation