moonkind

Moonkind allows you to easily assert the types of your variables, and doesn't do implicit conversions.
You can either use it to throw errors in case of mismatched variables, or get the errors as values
to decide how to handle them.