Add support for select shims in FV

[emilypi]

Raised by @EnoF , this module now succeeds verification:

pact> 
pact> (module test GOVERNANCE
....>   (defcap GOVERNANCE() true)
....> 
....>   (defschema stakers-schema
....>     stake:string
....>     staker:string
....>     amount:decimal
....>     guard:guard)
....>   (deftable stakers-table:{stakers-schema})
....> 
....>   (defun view-stakers()
....>     (select stakers-table
....>       ['stake 'amount]
....>       (where 'amount (> 0.0)))))
"Loaded module test, hash -LHNaEinyALAQ-WCDHwHObpJXrgTLJBS-pjZSjVYwL8"
pact> (verify 'test)
"Verification of test succeeded"