aligning types