Type checker + Level manager