find a bug in pattern matching
add a file to handle infinite data
fix a bug in the pattern matching compilation.
add back typechecking, it would be nice to have configurable typechecking like infix operator
give up reasoning fibonacci stream, and give up reasoning stream in general.