v0.12.5

Closed

• Disable sub-typing of Function type in Java java - #194
• Simplify syntax for defining function type Improvement java - #190
• Synchronous Steps should also suspend operations to recover from failures #192