Primitives is statically typed functions. VM has strict contract on argument types.

Is it possible to query system for primitives by given criteria like string arguments?

Information of primitive signature can be used by type inference libraries