Adding types from scratch