runtime: remove a dead function from proc.js
runtime: make two fields in r5js.Procedure private
runtime: make another field of r5js.Procedure private
runtime: insert misc. casts in proc.js to prepare for better typing