copartial functions

• algebra of partial and copartial
• partial function