Jack/Brian: Initial implementation of Fact.
Added commented out tests for && and || on Fact.