fixed t_typing_abs typo & added hints
started proving simple typing lemmas for target