towards a type system?