Deep type inference for Bindmarkers in a Term

[tabdulradi]

Troy analyses queries to figure the type of bind markers (i.e ? and :variables)
So far we do only shallow searching for those blind markers, if a statement has a term, we check if the whole term is a bindmarker, then we figure out its type.

But we might encounter a complex term, for example, a Map literal with one or more of the values are bind markers.