Move framework type system to oa-type-system project