i need to do native work today but will find the time at some point tonight to put together a first whack at type checking in datatype ctors. this is ~something i've implemented at different times in coffeescript and R already so i have lots of thoughts but the only person who's used those is me so would love to get feedback