semantic: Make Extyper use Context instead of ScopeManager.