typespecs: add specs and make target