missing purple keywords

[affeldt-aist]

• minor but probably easy to fix: missing purple keywords
  • Set Implicit Arguments.
  • Unset Strict Implicit
  • Unset Printing Implicit Defensive
  • Number Notation
  • Declare Scope
  • Delimit Scope
  • Bind Scope
  • Local @proux01

[affeldt-aist]

fixed by PR #20