Ideas Upon the Type Problem