Implement multiplication by multiplication in calculator example.
Leave off "Unl" annotations and include "Any" annotations in printed types.
Treat underscores as Unl by default.
Add various 'Any's to expected output of polymorphism tests.
Add 'Any' annotations to expected results in pattern tests.