Strict null checks for Map members

TypeScript Version: 2.0.0-beta
Code

export interface INode {
    type: string;
    parentNode?: INode;
}

export interface IIdentifierNode extends INode {
    name: string;
}

public static isIdentifierNode (node: INode): node is IIdentifierNode {
    return node.type === NodeType.Identifier;
}

var namesMap = new Map<string, string>();

// main part
if (Nodes.isIdentifierNode(node) && namesMap.has(node.name)) {
    node.name = namesMap.get(node.name);  //`Type 'string | undefined' is not assignable to type 'string'.`
}

Expected behavior:
No errors

Actual behavior:
Type 'string | undefined' is not assignable to type 'string'.

Looks like here no TypeGuards for Maps?

ファイルもテストも指定されていません。まず、Map.has と Map.get を使った TypeScript 2.0 strict-null-check の例を再現し、次に Map のメンバーに対する型チェックの動作を追跡してください。完了の条件は、正しい undefined の扱いを維持したまま、示された代入でエラーが発生しないことです。