* Bind can only create what App can digest now * Sketch some great ideas:   - Categorize Strata   - arr2stratum can unify Func and Lit   - Ref and explicit substitutions
* Bind can only create what App can digest now
* Sketch some great ideas:
  - Categorize Strata
  - arr2stratum can unify Func and Lit
  - Ref and explicit substitutions

ggreif/al4nin,ggreif/al4nin