Add: a minor improvement/fix for short circuit evaluation of boolean operation;
Update: documentation help for Dao grammar.