added TableauxFormulas data structure and made some progress on conjunction handling