unrolling mu types; type abbreviations