Remove Frozen/Thawed interfaces

Now in package btf.