Syntax and semanticsΒΆ

Work in progress