Clean up {...}<:S strict cast syntax (#3853)

Clean up {...}<:S strict cast syntax (#3853) #646