Fix #3: Use c.Type rather than String as field types

When reifying the vampire methods, we use the return method type to
reconstruct the type, rather than what we put in the annotation.