Supporting Return w/ type checking for app class obj execution contexts.