BInteger = Integer; to conform specification
Do not unpack BString

Since their lifetime is very short this makes no sense.
Guarantee zero overhead for native types
Remove duplicated LANGUAGE pragma
Update TODO
Remove some excessive SPECIALIZE pragmas
Minor refactoring
Fix typo
Code style