+ correcting type identifiers
+ test