Added types for log expressions, and implemented EmbeddedLog statements