core-typed 2020-08-17

@paulocuneo has joined the channel