Warning for specialized literals

[andrew-johnson-4]

(: y Sized<x>). (
   x
)

needs an error to indicate that an ascripted type is expected

(: x L)