Improve std.compat module

[mordante]

          Let's try to remove the duplicated headers as much as possible. Maybe we can improve it by something like:

export module std.compat;
export import std;

export using double_t = std::double_t;

Originally posted by @ChuanqiXu9 in #76330 (comment)