starting to add objects

- for now, only strong objects and straight-line code
- also re-organized inputs and outputs for typing relations