Guards

Let me try and summarize all that has been said on the Guards topic. For `instanceof`, we don't need any sort of guard right now (with the patterns we have); we can already conjoin arbitrary boolean expressions with `&&` in all the contexts we can use `instanceof`