tom, josiah: support type checking by alias for Function (across windows/frames)