3a4,17
> -- [1] Define all tags and tag masks
> -- Tags attached to reductions.
> -- When resolving a type or deriving a type,
> --	we select reductions by specifying a set of valid tags
> tag_typeDeclaration = 1	-- Type declaration relation (e.g. variable to data type)
> tag_typeDeduction   = 2	-- Type deduction (e.g. inheritance)
> 
> -- Sets of tags used for resolving a type or deriving a type
> tagmask_declaration
> 	= typedb.reduction_tagmask( tag_typeDeclaration)
> tagmask_resolveType
> 	= typedb.reduction_tagmask( tag_typeDeduction, tag_typeDeclaration)
> 
> 
46c60
< 		end, 1)
---
> 		end, tag_typeDeduction)
79c93
< typedb:def_reduction( t_base.ref, t_class.ref, load_base, 1)
---
> typedb:def_reduction( t_base.ref, t_class.ref, load_base, tag_typeDeduction)
83c97
< 	= typedb:resolve_type( t_class.ref, "constructor")
---
> 	= typedb:resolve_type( t_class.ref, "constructor", tagmask_declaration)
