Typespecs done