library, initial types slapped together