Type synonym definitions