interpreting ok; doubt with ysstype definition in .l and .y