variable block is missing type

[kapilt]

at the moment the type value on on all variables is empty.

we need to grab the hclattribute Expr, and simplify back to types. Its either a scope traverse or a function call traverse afaics. we need this for default variable injection by type to have the correct types. expanded validation (function call parameters) is probably not something we need at the moment.

[kapilt]

this might be resolved with #194 which got us a significantly upgraded dependency set.

[albertodonato]

IIUC this should be addressed by #218