Use array_diff_keys instead of array_diff_assoc to extract repl vars.
Add typesig-specific inline expansions.

These can be used so that either every implementation of a function is a 'fun', or the main implementation is a regular 'fn' and the inline versions are 'funs'.
Add type hinted/annotated version of the seq function.