DocOckTypes update: Use identifiers for functor arguments
DocOckTypes update: treat units as signatures
DocOckPaths update: fix fragment representation