commented BC in Bytecode.hs

Added (and fixed a little) the comments. Not sure if they are accurate, but more comprehensive at least.