Remove parametrisation from Document in implementation module