more documentation about join calculus and the limitations of Objective-C implementation