Tweaking doc definition, added SharpDoc type as the root of a document