chore(kernel/error_msgs): change type mismatch error messages, closes #33

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