add types and specs