Improve section on bit-shifting operations
Add section on the 'feature?' operation
Add some docs on compilation phases, removing the corresponding text from implementation.md
Expand docs on phases of compilation, remove implementation.md

Move the section on evaluation before that on types