Removed elab step and changed some decls in compute_bytecodeLib
Explorer builds with some code copied from standalone
Fixed bc_inst in astPP