Better synchronizable checking. Closes #62. Closes #61. Closes #56.