Small fixes:
   - since Map, Set and List are not subsorted to K, eliminate the unique top sort check
   - the KApp of a constant properly forwards the location information
   - adding the single dots for Map, Set and List.