Type Analysis
=============