Type Theory Forall

Type Theory much beyond inference rules