Add type specs