Allow typecast statement on all variables

[markwpearce]

• Allows typecast statements in all blocks (like in If statements)
• If you're in a function, you can use typecast statement on any variable
• Only one typecast statement per variable per block is allowed.
• Typecasts must be the first statements in a block
• Makes typecast statement useful for type narrowing