static type system