Ndpv6: more precise signatures + some docs