Added typechecking on useCurrent and related tests