Dig into v-typep & v-type-eq of functions types and how ctv's should be checked

[cbaggers]

This is something that just worries me right now. I have had to make the check looser than I would like and I dont yet get the implications of the changes I have made.