Come up with a better way to handle `Network` dependent behavior

[ProofOfKeags]

Example: The Address type doesn't have any reference (type or runtime) to what network the address is for, even though it is a critical piece of the address.

Suggested by @wraithm.

[ProofOfKeags]

Looks like this is gonna require more exploration. Type witnesses may not be the best solution here.