brendanzab Merge pull request pikelet-lang#127 from brendanzab/theory-docs-contexts …