Do you have a link to some information regarding the work on traits/interfaces and static typing, please?