Move tests to BasicPrelude