Some renaming, tobias fix for null symbol IDs, beginings of remoting API.
Merge.