option --lite for grammar without dependent types