Finitio - A Data Language