MSON AST reflecting the new specification

For @fosrias, @honzajavorek and @pksunkara to review. 
:+1: for explicitness