Better statement nodes, Unop and Type enums