Bind various scopes to their corresponding types

This gives better automatic scope resolution.