Types are just labels that a parse has already been done and doesn't need to be done again. Use them when you don't need to parse again, don't when you do want

Types are just labels that a parse has already been done and doesn't need to be done again. Use them when you don't need to parse again, don't when you do want to parse again.