More work on type

: