(type-function ?var)
(type ?var type-keyword)
This is more general (the parser doesn't encode the set of known types), and avoids a dependency on `ValueType`.