Allow Code to (someday) do typechecking; removed silly newlines from bytecode.
Improved bytecode.  Last commit msg meant "allow *ProcCalls* to do typechecking"; it already works for much Code.