Do we want we to use the typesystem like this?
Do we want we to use the typesystem like this?

zachaysan/Nim,fredericksilva/Nim,gokr/Nim,BlaXpirit/nim,dom96/Nim,Matt14916/Nim,mbaulch/Nim,judofyr/Nim,Matt14916/Nim,msmith491/Nim,nanoant/Nim,sarvex/Nim-lang,Dhertz/Nim,MrJohz/Nim,tulayang/Nim,douglas-larocca/Nim,BlaXpirit/nim,Senketsu/Nim,dom96/Nim,msmith491/Nim,zachaysan/Nim,douglas-larocca/Nim,msmith491/Nim,sferik/Nim,singularperturbation/Nim,sferik/Nim,zachaysan/Nim,judofyr/Nim,msmith491/Nim,singularperturbation/Nim,bvssvni/Nim,nafsaka/Nim,xland/Nim,reactormonk/nim,tulayang/Nim,jsanjuas/Nim,Salafit/Nim,tulayang/Nim,msmith491/Nim,kirbyfan64/Nim,greyanubis/Nim,BlaXpirit/nim,Senketsu/Nim,sferik/Nim,mbaulch/Nim,Senketsu/Nim,endragor/Nim,fredericksilva/Nim,greyanubis/Nim,haiodo/Nim,JCavallo/Nim,haiodo/Nim,fmamud/Nim,bvssvni/Nim,Matt14916/Nim,haiodo/Nim,greyanubis/Nim,msmith491/Nim,xland/Nim,BlaXpirit/nim,dom96/Nim,tmm1/Nim,jfhg/Nim,kirbyfan64/Nim,fredericksilva/Nim,haiodo/Nim,nimLuckyBull/Nim,fredericksilva/Nim,zachaysan/Nim,russpowers/Nim,jfhg/Nim,xland/Nim,douglas-larocca/Nim,Matt14916/Nim,endragor/Nim,nimLuckyBull/Nim,nanoant/Nim,mbaulch/Nim,gokr/Nim,Salafit/Nim,sferik/Nim,nanoant/Nim,reactormonk/nim,tulayang/Nim,JCavallo/Nim,BlaXpirit/nim,mbaulch/Nim,nimLuckyBull/Nim,msmith491/Nim,jsanjuas/Nim,fredericksilva/Nim,fmamud/Nim,JCavallo/Nim,endragor/Nim,judofyr/Nim,nafsaka/Nim,MrJohz/Nim,JCavallo/Nim,fredericksilva/Nim,sarvex/Nim-lang,nanoant/Nim,nafsaka/Nim,MrJohz/Nim,fmamud/Nim,Salafit/Nim,nafsaka/Nim,Senketsu/Nim,greyanubis/Nim,bvssvni/Nim,tmm1/Nim,Dhertz/Nim,fmamud/Nim,reactormonk/nim,singularperturbation/Nim,mbaulch/Nim,gokr/Nim,xland/Nim,JCavallo/Nim,xland/Nim,sferik/Nim,dom96/Nim,nimLuckyBull/Nim,tmm1/Nim,douglas-larocca/Nim,nanoant/Nim,Salafit/Nim,dom96/Nim,tmm1/Nim,tmm1/Nim,sferik/Nim,BlaXpirit/nim,jsanjuas/Nim,sarvex/Nim-lang,greyanubis/Nim,mbaulch/Nim,JCavallo/Nim,dom96/Nim,nanoant/Nim,singularperturbation/Nim,Dhertz/Nim,kirbyfan64/Nim,Salafit/Nim,judofyr/Nim,Senketsu/Nim,endragor/Nim,nafsaka/Nim,singularperturbation/Nim,reactormonk/nim,sferik/Nim,gokr/Nim,jfhg/Nim,bvssvni/Nim,douglas-larocca/Nim,reactormonk/nim,nimLuckyBull/Nim,kirbyfan64/Nim,kirbyfan64/Nim,mbaulch/Nim,Matt14916/Nim,sarvex/Nim-lang,fredericksilva/Nim,jsanjuas/Nim,Dhertz/Nim,jfhg/Nim,fmamud/Nim,zachaysan/Nim,sarvex/Nim-lang,BlaXpirit/nim,sferik/Nim,tmm1/Nim,JCavallo/Nim,MrJohz/Nim,russpowers/Nim,nimLuckyBull/Nim,gokr/Nim,gokr/Nim,BlaXpirit/nim,singularperturbation/Nim,jfhg/Nim,Matt14916/Nim,MrJohz/Nim,endragor/Nim,reactormonk/nim,kirbyfan64/Nim,kirbyfan64/Nim,endragor/Nim,reactormonk/nim,jsanjuas/Nim,endragor/Nim,sarvex/Nim-lang,russpowers/Nim,Salafit/Nim,judofyr/Nim,russpowers/Nim,bvssvni/Nim,bvssvni/Nim,jsanjuas/Nim,jfhg/Nim,russpowers/Nim,haiodo/Nim,dom96/Nim,tulayang/Nim,haiodo/Nim,douglas-larocca/Nim,reactormonk/nim,bvssvni/Nim,fmamud/Nim,greyanubis/Nim,judofyr/Nim,kirbyfan64/Nim,Dhertz/Nim,Matt14916/Nim,judofyr/Nim,jsanjuas/Nim,fmamud/Nim,MrJohz/Nim,Dhertz/Nim,zachaysan/Nim,nanoant/Nim,sarvex/Nim-lang,xland/Nim,Salafit/Nim,singularperturbation/Nim,russpowers/Nim,judofyr/Nim,nafsaka/Nim,Dhertz/Nim,gokr/Nim,fredericksilva/Nim,greyanubis/Nim,zachaysan/Nim,jfhg/Nim,gokr/Nim,Senketsu/Nim,tulayang/Nim,russpowers/Nim,douglas-larocca/Nim,xland/Nim,Senketsu/Nim,nafsaka/Nim,MrJohz/Nim,douglas-larocca/Nim,nimLuckyBull/Nim,tmm1/Nim,haiodo/Nim