Added cycle reference check, completed DefaultMap, new examples