need to start re-adding type theorems..