add Fact::context method

[maackle]

Some facts like not() would really benefit from being able to access the context of its inner fact, rather than needing to specify a recognizable context for the not. In other words, if every Fact had an accessible context string, not could become not_ (not require a context string itself).