intial extraction of type system