make types mandatory in spec
make types mandatory in implementation
make types mandatory in test suite
better error messages for table index type problems
updated blt files to provide type data

finishes #92