... preliminary work to enforce types for functions, though I
suspect it's a fool's errand.