Split types into separate module
Add dummy signatures for test functions
Add upgrade function to make eunit work correctly