Experimental type system extensions
