* fixed KIFFlttener
* added Flattener tests
* minor doc fixes