More experimentation

Breaking out interfaces from Types.java and a couple test impls.