ntyper now works with functions sans explicit spec.
Insert feedback over multiple seq appears to work (delicately).