Corecords now work in mutual blocks. Fixes #7