updated algW (principal) types, more tests