Issue 7829 - Function traits should be usable with subtyping

http://d.puremagic.com/issues/show_bug.cgi?id=7829

Perhaps this should also apply to some other traits, for now I've included only function traits.