Add some missing haddocks.
Handle Alloc in interpreter.