An experimental TypeSpec syntax for Lexicon