fix initialization. add equals/hashcode
make fact selection function not required
Update hierarchical resolver tests
fix generic signature
Public -> Protected
docs