Rephrased a little
Added syntactic support for alighnment
Refined the structure of the specification