I was thinking it could be very useful for us to have an option which rejects toplevel structure definitions without signature constraints.