Type checker rough description.