Begin work on generating InitKB.curry from a higher level spec -- very preliminary at this time.