Primitive stuff can become templates

[schneiderfelipe]

Like satisfy, which we can provide, but also provide (and use internally) a template called satisfyIt, which receives an expression.