Updated motivation
fixed merge conflicts
Modified concrete syntax order / fixed it slightly
Merged