add type specs, update deps