Simple type analysis