Making types final