make undeclared usage an error

this makes our type checking test pass ^_^