setup initial type system