adding type-tests.scm