strict type checking is okay to use as i think reduces future errors by warning you in script analysis beforehand, type annotating just helps you catch future errors beforehand by making sure that it matches that type otherwise warns you in script analysis
also how would the module loader be used and how it would function so i would know easier how to improve it
post this on Help and Feedback > Code Review so more people will see what this topic is intended for