What are mapped types, and how does key remapping with as work?

Write or say your answer first, then compare it with the model answer.