improving type documentation