How to strongly type plutus contracts?