Started adding a few typespecs
Fresh no longer creates 2 functions per fresh variable