added note about contributing, Microsoft's MAML, and `val rec` syntax