before the storm -- let's just get the frontend stuff in for the most part before we try to integrate with the proving/typereasoning/typeandpopulate folders