rearranged code, container inst now makes use of qualifierinst, shadow fun now returns a node, added required qualifier (even though it is not need as optional_p is false by default