Altered the signatures of the 'greater' and 'less' predicates to match compiled predicates.
Added Project Proposal document.
First commit of dissertation.