Don't do type checking when linking a FlowEnd's context or feature.
Link any visible Context and Feature in Context and let the validator do
the type checking.
Type check the context and feature of a FlowEnd in the validator instead
of the linker.
Created a validation test for the type checking of a FlowEnd.