initial language/types, more intro