more rough draft of simple types