Add specs for Complete Types