Searching protocol for "type-theory"
Standalone test skill for general testing.
Get precise user input to drive decisions.