I have started work on documenting a function that will do this, I'm calling it `typeEnforce` and its signature is `bool typeEnforce(Value v1, Value v2, bool attemptCoercion = false)`, what it WILL do (when I implement it) is the following:
```
/**
* For: 🧠️ Feature: Universal coercion
*
* Given two `Value`-based instructions this method will extract
* the types of both and return true if their types are the same,
* however in the case their types are not the same then if coercion
* is allowed then an attempt at coercion will take place - if it
* succeeds then the type of `v2` is updated (it is coerced to the
* type of `v1`) and true is returned, else false is returned.
*
* In the case that coercion is disabled then mismatched types results
* in false being returned.
*
* Params:
* v1 = Value-instruction 1 (will coerce towards if requested)
* v2 = Value-instruction 2
* attemptCoercion = whether or not at attempt coercion on initial type mismatch (default: `false`)
*
* Returns: true if the types match (or were coerced successfully if requested), false otherwise
*/
```
