Various improvements to provisional.py#387

aeliasso wants to merge 2 commits intointel:mainintel/device-modeling-language:mainfrom

aeliasso:aeliasso-improve-provisional-docsaeliasso/device-modeling-language:aeliasso-improve-provisional-docsCopy head branch name to clipboard