1   type Type =
2       val name : String
3       val base_types : Slice<Type>
4   
5       def inherits (type : Type) = base_types.contains type
6