Create Arch Doc for Recursive Functions and Types

[maxsklar]

There are 2 recursive data types that exist in newmap:

1. Full Functions (these are functions that can call themselves and other full functions)
2. Recursive Data Types

Because these things are not well founded, we need a different system to represent them. For example, function A can call function B, and function B can call function A, so the interpreter must know that both exist before looking at their implementations. Find a nice, modern way to represent this.

Write a document with the plan, and review it with another engineer.