Implement type system