adjust docs for check-metafunction to make the example
use more representative

closes PR 13614
document define-metafunction's contract patterns properly

closes PR 13613