fall back on expression for statements. made TypeExpression a struct instead of a pair.