fix(library/unifier): make sure the imitation step is type correct, fix ensure_sufficient_args

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(kernel/error_msgs): change type mismatch error messages, closes #33

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
checkpoint