fix output of qualified names for union/intersection types/aliases
add formal attribute metamodel to types #196