add type alias boolean -> bool