Made missing cases explicit, fleshed out Concrete insts, implementing
function calls.