Comments now take the form (* comment *) and support nesting