Clean up {...}<:S strict cast syntax

Clean up {...}<:S strict cast syntax #3795