diff --git a/dhall/Types.dhall b/dhall/Types.dhall
index cd4bd15..1ad2dfc 100644
--- a/dhall/Types.dhall
+++ b/dhall/Types.dhall
@@ -190,14 +190,18 @@ let Allocation =
         , alloCurrency : CurID
         }
 
+let PreAllocation = Allocation Decimal
+
+let PostAllocation = Allocation (Optional Decimal)
+
 let Income =
       { incGross : Decimal
       , incCurrency : CurID
       , incWhen : DatePat
       , incAccount : AcntID
-      , incPretax : List (Allocation Decimal)
+      , incPretax : List PreAllocation
       , incTaxes : List Tax
-      , incPosttax : List (Allocation (Optional Decimal))
+      , incPosttax : List PostAllocation
       }
 
 let Expense =
@@ -250,4 +254,7 @@ in  { CurID
     , Bucket
     , Budget
     , Tax
+    , Allocation
+    , PreAllocation
+    , PostAllocation
     }