Add the FinalClass checkstyle module. Make the Type class final. To not break the signature tests despite this (theorically) backward incompatible change, it is necessary to do as if Type has always been final.