Converts a bare expression to a tagged union with a given type name.
dict with one key-value pair
tagged PFA value