Added fact class

Created a class implementing the changes to belief, but the rest of the
code doesn't use it yet