Add more documentation for `Procedure` type

Please merge to v6.0