Add specs and solutions for problems 16-20
Uncurry implied argument