Stub generation.
string_of_typ / string_of_fn
Stripping out views.
Coercion functions.
Typed function registry.
Boxed function and value types.
Reorder source files.
Type-safe linking.