Updating: link-time check for abstype assumption.