Added finite maps, heaps, sets, etc.. classes
Added classes