Added typesystem docs