Title: Starting Points in Typing