Post idea: how smite works

[morehouse]

This one should probably be the first post on the site, describing:

• what smite is
• what motivated smite
• what smite builds upon
• smite architecture
• interesting implementation details
  • per-implementation hacks (coverage, patches, etc.)
  • affine types
  • other things?