Adjusted to efa.core.Unerased

All applications of Manifest[A] as a substitute for Class[A]
were unsafe when used from Scala. Therefore type class Unerased
was created to macro-check a type's behavior after erasure.
See efa.core.Unerased.