added type specs to a few modules
added more type specs