More Rich Linting

For now, let's not support polymorphic local lets.