Some doc
Complete the documentation
Fix handling of discriminators in inline stacks