Advanced type system features