Add prims to JSON; fix importing map