added provided models and standard library