Drop begining of 'From value-level to type-level'