Implement naive make_array sans counting.
Add construction make directive
Add naive make array running time proof (by construction).

It's probably quite a bit more effort to show that the rt function is
O(nlog(n)).
Makefile/Dependency cleanup
Add naive_rt example
Beginning naive make_array 2
linear time proof of size is easy

... if you put the ++1 in the right place!

Move it down past the two recursive calls and the goals
generated by program aren't true.