An assumption-free exact test for fixed-design linear models with exchangeable errors. (30th September 2020)