exact
See if we can determine the exact type required as the first argument of the function produced by this read. If the exact type is known, answer it, otherwise null.
Return
Either null or an exact A_Type to compare some value against in order to determine whether the one-argument function will accept the given argument.