add manual type syntax for let in mdo!{}
add manual typing to bind syntax