Remove type refinement from first server example

[JSAbrahams]

Summary

• Remove type refinement from first server example.
• Add extra explanation of type refinement to README.

Added Tests

Happy

• Server example from README

[codecov[bot]]

Codecov Report

Merging #408 (f294e79) into develop (5a470de) will decrease coverage by 0.00%. The diff coverage is n/a.

@@             Coverage Diff             @@
##           develop     #408      +/-   ##
===========================================
- Coverage    87.54%   87.53%   -0.01%     
===========================================
  Files          109      109              
  Lines        12016    12016              
===========================================
- Hits         10519    10518       -1     
- Misses        1497     1498       +1     

Impacted Files	Coverage Δ
src/check/context/clss/mod.rs	86.52% <0.00%> (-2.13%)	:arrow_down:
src/generate/result.rs	22.58% <0.00%> (ø)
src/check/constrain/generate/env.rs	95.00% <0.00%> (+2.00%)	:arrow_up: