exact
See if we can determine the exact type of this register, which holds a function. If the function type is known, answer it, otherwise null.
Return
Either null or an exact A_Type for the function in this register.