up to Properties of Typing