-- (C) Copyright International Business Machines Corporation 23 January 
-- 1990.  All Rights Reserved. 
--  
-- See the file USERAGREEMENT distributed with this software for full 
-- terms and conditions of use. 
--------------------- done (* needs testing)
program_literal
call
return
function_reference
return exception
handler list
exit
if-then-else
*evaluate
*lookup_element_typename() function
--------------------- high
select
--------------------- medium 
inspect block
(check on the compound statements implemented a while ago)
--------------------- low (not needed to translate the code generator)
absprog_literal (needed by type checking)
block constants list
--------------------- zero (not needed by the compiler at all)
unwrap
assert
drop
polymorph should be like integer
exception handlers, constants on blocks
program literal
function reference
evaluate block
type mark on expr
statements
	exit
	assert/drop	-- should this take an attribute qual + no operands?
	unwrap		-- should wrap also include a typestate?
	return		-- get rid of user-writable "error" exception?  yes.
	call
compound statements
	inspect block
	select
	if-then-else


definitions modules
	callmessage, attribute types
