small changes
BasicTerm, to be used for scoping and type inference