Strengthen and modernize specs Strengthen some specs that were a bit more liberal than they should. While at it, change uses of the is_subtype guard to :: which is more modern and compact. git fetch it://github.com/kostis/otp.git strengthen-lists-specs Kostis