Added type aliases and construction operations