Finished the types verification