Type and Initialization Check Complete!

**not very extensively tested