add Float16 to the manual + a few minor contrib tweaks