Jeremy Cherfas

Successfully updated WithKnown to latest master with no (apparent) ill effects. Now to see whether it permits things that it previously did not.