add support for type-annotations in define-values