Much better interface for defining types