Advanced type system features

to appear