Added unbound unit type and bind function