Typal Analysis