Release Name: 0.0.2

Notes: Synthesis now checks that a simulated method's concrete implementation has been called with the same argument types as the expectation.