more work on Fibonacci (not compiling yet) and simple example for TypeSignature in the recursive/go inner function.