Finish basic type construction mechanism.
Incomplete type formation now works.
finished core fntype work