[fix #3] export types, chage spec and fix indentation