Simplify a lot
Got recurrences working
0.6.0