Implement new mirage-types BLOCK signature


This needs matching changes in
* mirage-types
* mirage-platform
and is tested by changes in
* mirage-skeleton