prefer :form meta over :val
annotate unknown :constant nodes as 'any
initial infer-tag pass