Arthur Baars types his grammar transformations