New /types. First slick impl. Maybe travis works.