I'm still confused.  Would be generate contracts and treat the functions as if they were untyped?