fun untyped substitution small updates
added issue 119
some constructor examples added to 3-fun