README
Merge branch 'master' into b4_tail_recursion
Type constraints