add basic implementation for new boolean matching
make tests pass with new Checker infrastructure
add specification with examples: for new bool string handling
finish implementation of boolean mapping: get tests green