Added implementation of immutable (functional) maps and sets, as