Revise type inference section
Revise type inference section

thinkpad20/urweb,thinkpad20/urweb,thinkpad20/urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb