Add module with extended annotations (mutable, read-only)
Implement mutability annotation support in type resolver
Add extended annotation to test environment
Add tests for mutability annotation support in type resolver