Some type analysis... not much though.