notes on C++ modules (n4047)