Block: move the type error back into the module type rather than lifting...

... it out