Finished progress.

There are some issues with the synchronization heap that I've admitted
for now. These are mostly due to its definition, which may need to be
changed/improved.