Correct Bidirectional Composition for Standard and Linear AAMs

- Also adds new notebooks and modifies old ones.