Drop Self signature to open Self up for use
Add function to construct Self.t from varinfo