Add support for custom rules in concepts
Only lookup k in t once
Require verification rules to return a boolean value
Use simple function call syntax