lists: Strengthen and modernize specs
lists: 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.

emile/otp,emacsmirror/erlang,GinjaNinja32/otp,basho/otp,jj1bdx/otp,hairyhum/otp,electricimp/otp,psyeugenic/otp,msantos/otp,vladdu/otp,Teino1978-Corp/otp,GinjaNinja32/otp,paulcager/otp,getong/otp,vic/otp,rlipscombe/otp,entropiae/otp,tuncer/otp,tuncer/otp,g-andrade/otp,uabboli/otp,erlang/otp,neeraj9/otp,jamesruan/otp,goertzenator/otp,awetzel/otp,dumbbell/otp,basho/otp,electricimp/otp,bugs-erlang-org/otp,RichMorin/otp,neeraj9/otp,krishnakumar4a4/otp,g-andrade/otp,goertzenator/otp,goertzenator/otp,jj1bdx/otp,isvilen/otp,jj1bdx/otp,bjorng/otp,getong/otp,marquisthunder/otp,entropiae/otp,RaimoNiskanen/otp,sammoth-wazoku/otp,release-project/otp,yangchengjian/otp,g-andrade/otp,stolen/otp,hairyhum/otp,psyeugenic/otp,theom/otp,ader1990/otp,fenollp/otp,ahmedshafeeq/otp,RichMorin/otp,yangchengjian/otp,palas/otp,c-rack/otp,jinshana/otp,msantos/otp,cobusc/otp,ferd/otp,bernardd/otp,neeraj9/otp,isvilen/otp,goertzenator/otp,mujiatong/otp,lemenkov/otp,weisslj/otp,stolen/otp,RGafiyatullin/otp,matwey/otp,dumbbell/otp,marquisthunder/otp,vic/otp,RoadRunnr/otp,jemsbhai/otp,RichMorin/otp,yangchengjian/otp,jj1bdx/otp,lhslll/otp,sitexa/otp,theom/otp,johanclaesson/otp,c-rack/otp,entropiae/otp,mikpe/otp,Teino1978-Corp/erlang-otp,rlipscombe/otp,isvilen/otp,goertzenator/otp,fenollp/otp,awetzel/otp,sdebnath/otp,emile/otp,schlagert/otp,saleyn/otp,getong/otp,paulcager/otp,NOMORECOFFEE/otp,jamesruan/otp,vic/otp,matwey/otp,isvilen/otp,ferd/otp,lianghaivv/otp,g-andrade/otp,jemsbhai/otp,haguenau/otp,palas/otp,erlang/otp,lemenkov/otp,vladdu/otp,ahmedshafeeq/otp,psyeugenic/otp,RaimoNiskanen/otp,lianghaivv/otp,weisslj/otp,jamesruan/otp,basho/otp,Teino1978-Corp/otp,lightcyphers/otp,lucafavatella/otp,potatosalad/otp,lemenkov/otp,jamesruan/otp,falkevik/otp,lucafavatella/otp,johanclaesson/otp,emile/otp,tuncer/otp,jj1bdx/otp,ader1990/otp,schlagert/otp,RJ/otp,dgud/otp,matwey/otp,vladdu/otp,getong/otp,isvilen/otp,ader1990/otp,lightcyphers/otp,legoscia/otp,ader1990/otp,fenollp/otp,legoscia/otp,sdebnath/otp,bjorng/otp,emile/otp,mikpe/otp,hairyhum/otp,Teino1978-Corp/otp,lantti/otp,benoitc/otp-1,sdebnath/otp,massemanet/otp,falkevik/otp,RJ/otp,massemanet/otp,bugs-erlang-org/otp,vinoski/otp,paladim/otp,entropiae/otp,jemsbhai/otp,klarna/otp,RGafiyatullin/otp,release-project/otp,sammoth-wazoku/otp,enikki/otp,vic/otp,potatosalad/otp,NOMORECOFFEE/otp,vinoski/otp,Teino1978-Corp/erlang-otp,lhslll/otp,jamesruan/otp,cobusc/otp,lemenkov/otp,riverrun/otp,dgud/otp,klarna/otp,erlang/otp,lhslll/otp,jinshana/otp,krishnakumar4a4/otp,enikki/otp,rlipscombe/otp,aboroska/otp,emile/otp,massemanet/otp,mujiatong/otp,bernardd/otp,emile/otp,tuncer/otp,jj1bdx/otp,GinjaNinja32/otp,falkevik/otp,dgud/otp,dgud/otp,haguenau/otp,schlagert/otp,lucafavatella/otp,schlagert/otp,NOMORECOFFEE/otp,tuncer/otp,benoitc/otp-1,cnbin/otp,theom/otp,RaimoNiskanen/otp,mujiatong/otp,gjaldon/otp,bernardd/otp,potatosalad/otp,ahmedshafeeq/otp,ahmedshafeeq/otp,bernardd/otp,potatosalad/otp,sammoth-wazoku/otp,sammoth-wazoku/otp,emacsmirror/erlang,matwey/otp,vinoski/otp,stolen/otp,bernardd/otp,beni55/otp,lemenkov/otp,GinjaNinja32/otp,bjorng/otp,RJ/otp,rlipscombe/otp,kvakvs/otp,benoitc/otp-1,potatosalad/otp,entropiae/otp,RoadRunnr/otp,VincentHHL/otp,bjorng/otp,GinjaNinja32/otp,psyeugenic/otp,psyeugenic/otp,derek121/otp,gjaldon/otp,bsmr-erlang/otp,dumbbell/otp,ader1990/otp,cobusc/otp,ader1990/otp,weisslj/otp,gjaldon/otp,vic/otp,bsmr-erlang/otp,weisslj/otp,gjaldon/otp,goertzenator/otp,schlagert/otp,ahmedshafeeq/otp,legoscia/otp,cobusc/otp,g-andrade/otp,kvakvs/otp,bernardd/otp,electricimp/otp,vinoski/otp,jinshana/otp,lantti/otp,mujiatong/otp,weisslj/otp,basho/otp,haguenau/otp,emacsmirror/erlang,jinshana/otp,saleyn/otp,bsmr-erlang/otp,theom/otp,riverrun/otp,electricimp/otp,paulcager/otp,benoitc/otp-1,platinumthinker/otp,fenollp/otp,bsmr-erlang/otp,entropiae/otp,ferd/otp,haguenau/otp,sitexa/otp,aboroska/otp,RJ/otp,bjorng/otp,emile/otp,sdebnath/otp,jemsbhai/otp,massemanet/otp,potatosalad/otp,RGafiyatullin/otp,lemenkov/otp,sitexa/otp,cnbin/otp,enikki/otp,klarna/otp,yangchengjian/otp,cobusc/otp,RichMorin/otp,GinjaNinja32/otp,isvilen/otp,c-rack/otp,weisslj/otp,platinumthinker/otp,awetzel/otp,lrascao/otp,erlang/otp,yangchengjian/otp,derek121/otp,lucafavatella/otp,RJ/otp,marquisthunder/otp,kvakvs/otp,g-andrade/otp,ferd/otp,uabboli/otp,lianghaivv/otp,rlipscombe/otp,Teino1978-Corp/otp,hairyhum/otp,goertzenator/otp,msantos/otp,platinumthinker/otp,lianghaivv/otp,tuncer/otp,RGafiyatullin/otp,isvilen/otp,benoitc/otp-1,palas/otp,RJ/otp,bsmr-erlang/otp,dumbbell/otp,aboroska/otp,msantos/otp,msantos/otp,mikpe/otp,mikpe/otp,VincentHHL/otp,bugs-erlang-org/otp,mikpe/otp,RGafiyatullin/otp,VincentHHL/otp,electricimp/otp,Teino1978-Corp/erlang-otp,johanclaesson/otp,jemsbhai/otp,RaimoNiskanen/otp,bsmr-erlang/otp,sdebnath/otp,lantti/otp,beni55/otp,paulcager/otp,klarna/otp,kvakvs/otp,mujiatong/otp,weisslj/otp,lightcyphers/otp,fenollp/otp,Teino1978-Corp/otp,bsmr-erlang/otp,RichMorin/otp,legoscia/otp,release-project/otp,cnbin/otp,krishnakumar4a4/otp,sdebnath/otp,g-andrade/otp,emacsmirror/erlang,riverrun/otp,c-rack/otp,kvakvs/otp,RoadRunnr/otp,getong/otp,Teino1978-Corp/erlang-otp,uabboli/otp,platinumthinker/otp,RoadRunnr/otp,uabboli/otp,psyeugenic/otp,palas/otp,bjorng/otp,vladdu/otp,release-project/otp,lucafavatella/otp,entropiae/otp,platinumthinker/otp,enikki/otp,dgud/otp,Teino1978-Corp/erlang-otp,stolen/otp,VincentHHL/otp,vic/otp,sdebnath/otp,jinshana/otp,dgud/otp,RichMorin/otp,mikpe/otp,neeraj9/otp,lrascao/otp,fenollp/otp,derek121/otp,NOMORECOFFEE/otp,c-rack/otp,saleyn/otp,bsmr-erlang/otp,VincentHHL/otp,sammoth-wazoku/otp,schlagert/otp,RoadRunnr/otp,aboroska/otp,paulcager/otp,vic/otp,RGafiyatullin/otp,gjaldon/otp,getong/otp,benoitc/otp-1,lucafavatella/otp,paulcager/otp,mujiatong/otp,basho/otp,RoadRunnr/otp,neeraj9/otp,g-andrade/otp,jemsbhai/otp,cnbin/otp,uabboli/otp,uabboli/otp,Teino1978-Corp/otp,lianghaivv/otp,lantti/otp,neeraj9/otp,falkevik/otp,electricimp/otp,sammoth-wazoku/otp,palas/otp,dumbbell/otp,paladim/otp,uabboli/otp,lightcyphers/otp,palas/otp,dumbbell/otp,tuncer/otp,enikki/otp,beni55/otp,lightcyphers/otp,saleyn/otp,bugs-erlang-org/otp,ferd/otp,Teino1978-Corp/erlang-otp,hairyhum/otp,lianghaivv/otp,VincentHHL/otp,RGafiyatullin/otp,derek121/otp,emacsmirror/erlang,matwey/otp,beni55/otp,isvilen/otp,jj1bdx/otp,ferd/otp,falkevik/otp,awetzel/otp,NOMORECOFFEE/otp,saleyn/otp,sitexa/otp,RaimoNiskanen/otp,mikpe/otp,klarna/otp,legoscia/otp,electricimp/otp,vinoski/otp,mikpe/otp,emacsmirror/erlang,RichMorin/otp,c-rack/otp,RaimoNiskanen/otp,massemanet/otp,ferd/otp,aboroska/otp,msantos/otp,jj1bdx/otp,potatosalad/otp,hairyhum/otp,jamesruan/otp,Teino1978-Corp/otp,c-rack/otp,palas/otp,erlang/otp,stolen/otp,yangchengjian/otp,stolen/otp,saleyn/otp,johanclaesson/otp,mujiatong/otp,saleyn/otp,jamesruan/otp,Teino1978-Corp/otp,getong/otp,tuncer/otp,derek121/otp,weisslj/otp,paladim/otp,isvilen/otp,release-project/otp,goertzenator/otp,release-project/otp,uabboli/otp,marquisthunder/otp,kvakvs/otp,riverrun/otp,awetzel/otp,bugs-erlang-org/otp,RoadRunnr/otp,krishnakumar4a4/otp,jj1bdx/otp,haguenau/otp,dgud/otp,dumbbell/otp,electricimp/otp,cnbin/otp,ferd/otp,paulcager/otp,ahmedshafeeq/otp,benoitc/otp-1,sitexa/otp,vinoski/otp,psyeugenic/otp,stolen/otp,matwey/otp,riverrun/otp,legoscia/otp,bjorng/otp,theom/otp,uabboli/otp,erlang/otp,jemsbhai/otp,kvakvs/otp,paladim/otp,sitexa/otp,mujiatong/otp,g-andrade/otp,matwey/otp,lemenkov/otp,hairyhum/otp,paulcager/otp,dgud/otp,release-project/otp,gjaldon/otp,marquisthunder/otp,massemanet/otp,paladim/otp,RJ/otp,theom/otp,psyeugenic/otp,bernardd/otp,haguenau/otp,jinshana/otp,RoadRunnr/otp,erlang/otp,platinumthinker/otp,lrascao/otp,vladdu/otp,NOMORECOFFEE/otp,johanclaesson/otp,bjorng/otp,lightcyphers/otp,stolen/otp,erlang/otp,beni55/otp,VincentHHL/otp,potatosalad/otp,lrascao/otp,yangchengjian/otp,rlipscombe/otp,krishnakumar4a4/otp,sitexa/otp,dumbbell/otp,theom/otp,jamesruan/otp,paladim/otp,mikpe/otp,ader1990/otp,ahmedshafeeq/otp,dgud/otp,mikpe/otp,marquisthunder/otp,hairyhum/otp,johanclaesson/otp,lrascao/otp,schlagert/otp,basho/otp,RGafiyatullin/otp,beni55/otp,release-project/otp,sammoth-wazoku/otp,rlipscombe/otp,aboroska/otp,rlipscombe/otp,riverrun/otp,NOMORECOFFEE/otp,basho/otp,legoscia/otp,johanclaesson/otp,kvakvs/otp,lrascao/otp,RaimoNiskanen/otp,derek121/otp,lrascao/otp,bernardd/otp,jemsbhai/otp,lucafavatella/otp,GinjaNinja32/otp,massemanet/otp,lemenkov/otp,potatosalad/otp,krishnakumar4a4/otp,RJ/otp,schlagert/otp,lantti/otp,benoitc/otp-1,entropiae/otp,theom/otp,riverrun/otp,fenollp/otp,rlipscombe/otp,sammoth-wazoku/otp,basho/otp,bugs-erlang-org/otp,neeraj9/otp,sdebnath/otp,marquisthunder/otp,ader1990/otp,isvilen/otp,GinjaNinja32/otp,falkevik/otp,klarna/otp,saleyn/otp,paladim/otp,cobusc/otp,RichMorin/otp,ferd/otp,RaimoNiskanen/otp,platinumthinker/otp,enikki/otp,dumbbell/otp,marquisthunder/otp,vinoski/otp,saleyn/otp,haguenau/otp,cobusc/otp,electricimp/otp,neeraj9/otp,gjaldon/otp,aboroska/otp,Teino1978-Corp/erlang-otp,jj1bdx/otp,platinumthinker/otp,bsmr-erlang/otp,johanclaesson/otp,cobusc/otp,awetzel/otp,beni55/otp,RaimoNiskanen/otp,massemanet/otp,matwey/otp,erlang/otp,lhslll/otp,riverrun/otp,emile/otp,lightcyphers/otp,vladdu/otp,tuncer/otp,msantos/otp,g-andrade/otp,enikki/otp,vinoski/otp,vinoski/otp,vladdu/otp,VincentHHL/otp,getong/otp,bjorng/otp,fenollp/otp,Teino1978-Corp/erlang-otp,bugs-erlang-org/otp,paladim/otp,lantti/otp,vic/otp,gjaldon/otp,derek121/otp,goertzenator/otp,yangchengjian/otp,klarna/otp,lhslll/otp,emacsmirror/erlang,basho/otp,ahmedshafeeq/otp,vinoski/otp,legoscia/otp,derek121/otp,aboroska/otp,emacsmirror/erlang,fenollp/otp,falkevik/otp,lianghaivv/otp,haguenau/otp,cnbin/otp,emile/otp,rlipscombe/otp,lhslll/otp,weisslj/otp,beni55/otp,krishnakumar4a4/otp,lucafavatella/otp,palas/otp,ahmedshafeeq/otp,jinshana/otp,RoadRunnr/otp,massemanet/otp,lrascao/otp,jinshana/otp,c-rack/otp,bernardd/otp,matwey/otp,cnbin/otp,lhslll/otp,enikki/otp,lightcyphers/otp,sitexa/otp,kvakvs/otp,erlang/otp,NOMORECOFFEE/otp,dumbbell/otp,msantos/otp,legoscia/otp,awetzel/otp,potatosalad/otp,dgud/otp,getong/otp,klarna/otp,lianghaivv/otp,release-project/otp,krishnakumar4a4/otp,lhslll/otp,awetzel/otp,emacsmirror/erlang,getong/otp,lrascao/otp,lantti/otp,cnbin/otp,falkevik/otp,falkevik/otp,lantti/otp,bugs-erlang-org/otp,emacsmirror/erlang,vladdu/otp,aboroska/otp,bjorng/otp,vladdu/otp