Add parametric types

Validate the operator takes an array for the first argument, a `bigint` for the secondard argument, and returns the component type of the first argument?