Fix up syntax hilighting to be useful

Change-Id: I15c194af802515c400a81ccf1685080df5a73d6c
Add note about Boolean implication to manual

Change-Id: I3d5ecf58f139cda12b1e4ae0d7be0638aa19f72b