sf-lists now verifies completely (modulo one expected failing assertion); but some stylistic issues remain.
added sf-lists to the set of default unit tests