Update DEVELOPMENT.md

These updates are needed for the typechecker rewrite.