A Probabilistic Rich Type Theory for Semantic Interpretation