First wack at adding type spec's + analysis infra.