ADD: Add some \BF\TypeTool tests (not done now!)