disallow scopes larger than allowed by bitwidth

http://gsd.uwaterloo.ca:8888/question/936/disallow-scopes-larger-than-allowed-by-bitwidth