persistent storage for facts
use normalized facts only for show sense
a single FactMap for values and usags
EqClass type
incremental FactMap composition
append smaller sense to a larger one