All that stuff is still optional. I don't think there are any cases where removing type annotations from a working Crystal program will change behavior.