removed experimental section on ambiguity for now
cleanup on separate compilation and linking (modified for provider independent security)