add list*of
add contract to 'table'
allow metafunction-cases to be the empty list

and thus allow metafunctions contracts to be typeset, without showing
any of the cases of the metafunction