Reject newtypes with strictness annotations; fixes read008