Annotate variable Mirage.mode with explicit type