Final Type System