Doc and some inconsistency fixing in types