procedural.scm: Remove type-predicates.
test.scm: Update and improve.