type srfi-1. workaround partially applied datatype problem. known bug: recursion -- Y combinator partially solves the problem but don't work for generic functions
get ready to type inside of functions
before temporary dropping generic functions
integrate the new type checker
fix bug in replce-type-var. tests/srfi-1.scm now passes
Merge pull request #28 from ympbyc/typed

Typed