b) [con't] substitution as well as type checking easier. It can be run directly: With its overhead it would be slightly slower but for compile time use it should be fine.

Oh, also I have the factorial function working as a unit test. Cool cool. Thanks!

2/2