Complete unverified CakeML implementation

Only minimally tested