https://www.dict.cc/german-english/Martin+L%C3%B6f+Typentheorie.html